home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group98a.txt / 000053_icon-group-sender _Tue Feb 24 13:03:47 1998.msg < prev    next >
Internet Message Format  |  2000-09-20  |  5KB
  1. Return-Path: <icon-group-sender>
  2. Received: from kingfisher.CS.Arizona.EDU (kingfisher.CS.Arizona.EDU [192.12.69.239])
  3.     by baskerville.CS.Arizona.EDU (8.8.7/8.8.7) with SMTP id NAA05066
  4.     for <icon-group-addresses@baskerville.CS.Arizona.EDU>; Tue, 24 Feb 1998 13:03:47 -0700 (MST)
  5. Received: by kingfisher.CS.Arizona.EDU (5.65v4.0/1.1.8.2/08Nov94-0446PM)
  6.     id AA28149; Tue, 24 Feb 1998 13:03:46 -0700
  7. Date: Tue, 24 Feb 1998 09:02:13 -0800
  8. From: kwalker@sfo.harbinger.com (Ken Walker)
  9. Message-Id: <199802241702.JAA12855@varda.premenos.com>
  10. To: icon-group@optima.CS.Arizona.EDU, khemlann@agcs.com
  11. Subject: Re: icon questions
  12. Cc: khemlann@agcs.com
  13. Mime-Version: 1.0
  14. Content-Type: text/plain; charset=us-ascii
  15. Content-Transfer-Encoding: 7bit
  16. Content-Md5: S1D7bHFkzLcfAXlHKsMdjg==
  17. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  18. Status: RO
  19. Content-Length: 4424
  20.  
  21. > Date: Tue, 17 Feb 1998 00:26:47 -0700
  22. > From: khemlann@agcs.com (Neil Khemlani)
  23. > 
  24. > Actually, I have two main questions.  First, is there a flag that I can
  25. > use with iconx or iconc that will allow it to produce C source code?
  26.  
  27. The -c option of iconc will produce C source code. However, the source
  28. code is only suitable for compiling and linked to a run-time system. It
  29. is not meant for human consumption. As an example, I translated
  30. a simple "hello, world" program. It produced two files. The .h file
  31. is
  32.  
  33.     /*ICONC*/
  34.     /*
  35.      * Tue Feb 24 08:12:11 1998
  36.      * This file was produced by
  37.      *   iconc: Icon Compiler Version 9.0.  July 16, 1994
  38.      */
  39.     #define COMPILER 1
  40.     #include "/home/users/edison/kwalker/icon_v9.0/bin_solaris/rt.h"
  41.     #define OpTblSz 1
  42.     int op_tbl_sz = 0;
  43.     
  44.     #define NGlobals 1
  45.     int n_globals = 0;
  46.     
  47.     int n_statics = 0;
  48.     struct descrip statics[1];
  49.     
  50.     int F291_write Params((word status , FILE *f , dptr x , int nargs , dptr 
  51. rslt));
  52.     hidden int P000_main Params((noargs));
  53.     
  54.     struct PF000_main {
  55.        struct p_frame *old_pfp;
  56.        dptr old_argp;
  57.        dptr rslt;
  58.        continuation succ_cont;
  59.        struct {
  60.           struct tend_desc *previous;
  61.           int num;
  62.           struct descrip d[1];
  63.           } tend;
  64.        };
  65.  
  66. and the .c file is
  67.  
  68.     /*ICONC*/
  69.     /*
  70.      * Tue Feb 24 08:12:11 1998
  71.      * This file was produced by
  72.      *   iconc: Icon Compiler Version 9.0.  July 16, 1994
  73.      */
  74.     #include "t1.h"
  75.     
  76.     static B_IProc(2) init_op_tbl[OpTblSz];
  77.     
  78.     static struct {word dword; union block *vword;} init_globals[NGlobals] = {
  79.        {D_Null} /* place holder */
  80.        };
  81.     
  82.     struct sdescrip init_gnames[1];
  83.     
  84.     struct b_proc *builtins[1];
  85.     
  86.     int main(argc, argv)
  87.     int argc;
  88.     char **argv;
  89.        {
  90.        op_tbl = (struct b_proc *)init_op_tbl;
  91.        globals = (dptr)init_globals;
  92.        eglobals = &globals[0];
  93.        gnames = (dptr)init_gnames;
  94.        egnames = &gnames[0];
  95.        estatics = &statics[0];
  96.        debug_info = 0;
  97.        line_info = 0;
  98.        err_conv = 0;
  99.        largeints = 0;
  100.        init(*argv, &argc, argv, 0);
  101.     
  102.        tend = NULL;
  103.        P000_main();
  104.        
  105.        c_exit(NormalExit);
  106.        }
  107.     
  108.     static int P000_main()
  109.     {
  110.        struct PF000_main r_frame;
  111.        register int r_signal;
  112.        int i;
  113.     
  114.        r_frame.old_pfp = pfp;
  115.        pfp = (struct p_frame *)&r_frame;
  116.        r_frame.old_argp = argp;
  117.        r_frame.rslt = NULL;
  118.        r_frame.succ_cont = NULL;
  119.     
  120.        for (i = 0; i < 1; ++i)
  121.           r_frame.tend.d[i] = nulldesc;
  122.        argp = NULL;
  123.        r_frame.tend.num = 1;
  124.        r_frame.tend.previous = tend;
  125.        tend = (struct tend_desc *)&r_frame.tend;
  126.     
  127.        Poll();
  128.        r_frame.tend.d[0].vword.sptr = "hello, world";
  129.        r_frame.tend.d[0].dword = 12;
  130.        Poll();
  131.        Poll();
  132.        {
  133.        FILE *f = NULL; 
  134.        word status = 
  135.     k_output.status; 
  136.        if ((k_output.status & Fs_Write) == 0 )
  137.           goto L1 /* within: write */;
  138.        f= k_output.fd;
  139.     
  140.        goto L2 /* within: write */;
  141.     L1: ; /* within: write */
  142.        err_msg(213, NULL);
  143.     
  144.     L2: ; /* within: write */
  145.        F291_write(status, f, (&r_frame.tend.d[0]), 1, &trashcan);
  146.        }
  147.        Poll();
  148.        tend = r_frame.tend.previous;
  149.        pfp = r_frame.old_pfp;
  150.        argp = r_frame.old_argp;
  151.        return A_Resume;
  152.        }
  153.  
  154. More complex programs only get worse...
  155.  
  156. There are several problems with translating Icon into C. Some of
  157. the major problems are:
  158.  
  159.    - you must implement goal-directed evaluation in a laguage
  160.      that has none. In some cases, with enough optimization, it
  161.      can be converted into loops. But in other cases the best
  162.      technique we have come up with involves breaking the program
  163.      into lots of little functions and passing function pointers
  164.      around everywhere. This is not your typical C code.
  165.      
  166.    - variables must be able to hold any value, and values must include
  167.      type information. In some cases, if you do enough analysis, you
  168.      can remove these requirements, but in general you cannot.
  169.      
  170.    - variables have to be implemented in such as way that the garbage
  171.      collector can find them.
  172.  
  173. Converting Icon programs into C is much more interesting than it
  174. appears on the surface :-)
  175.  
  176. Ken Walker, kwalker@sfo.harbinger.com
  177. Harbinger Coporation, Concord, Ca. 94520
  178.  
  179.